<?php
	echo 'MAIN';